use 'Hardware domain' instead of 'Domain 0' in hwdom_shutdown()
authorVitaly Kuznetsov <vkuznets@redhat.com>
Fri, 24 Apr 2015 10:07:00 +0000 (12:07 +0200)
committerJan Beulich <jbeulich@suse.com>
Fri, 24 Apr 2015 10:07:00 +0000 (12:07 +0200)
commit1f1243a9d49b322db6f67ee18dc23d3e3eb63c9d
treef9b0ec27b00a5144cc11251196586953248eb1cd
parentc33c51b81c82a51515bf4fa2a9717098c03e5013
use 'Hardware domain' instead of 'Domain 0' in hwdom_shutdown()

hwdom_shutdown() operates with hardware domains, use the proper wording.
Eliminate pointless braces from switch cases.

Use hardware_domain->domain_id instead of hardware_domid to print the actual
domain ID as in some cases it can differ (e.g. Dom0 dies before the actual HW
domain got created, kexec for the HW domain is being performed,...).

Signed-off-by: Vitaly Kuznetsov <vkuznets@redhat.com>
Signed-off-by: Jan Beulich <jbeulich@suse.com>
xen/common/shutdown.c